Dactylis glomerata L. subsp. slovenica (Dom.) Dom., a new taxon to Caucasus

Increased Meiotic Irregularity Accompanying Inbreeding in Dactylis Glomerata L.

DOM: Towards a Formal Specification

The W3C Document Object Model (DOM) specifies an XML update library. DOM is written in English, and is therefore not compositional and not complete. We provide a first step towards a compositional specification of DOM. Unlike DOM, we are able to work with a minimal set of commands and obtain a complete reasoning for straight-line code. Our work transfers O’Hearn, Reynolds and Yang’s local Hoare...

XML Parsing, SAX/DOM

DEFINITION XML parsing is the process of reading an XML document and providing an interface to the user application for accessing the document. An XML parser is a software apparatus that accomplishes such tasks. In addition, most XML parsers check the well-formedness of the XML document and many can also validate the document with respect to a DTD (Document Type Definition) or XML schema. Throu...

The Gnome DOM Engine

Luca Padovani Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7 40127 Bologna, Italy email [email protected] web http://www.cs.unibo.it/~lpadovan ABSTRACT The widespread use of Web technologies and, in particular, the ever growing number of applications adopting XML [XML00] as the standard language for the encoding of any piece of structured information, natura...

Constructing Tests for DOM Events

In Chapter 1, we introduced the Interaction Rule, and noted that if all failures can be triggered by tway combinations or less, then testing all t-way combinations is in some sense equivalent to exhaustive testing. We have referred to this approach as pseudo-exhaustive testing [91]: clearly it is not exhaustive because we do not cover all possible inputs and issues such as timing and concurrenc...